Estudiantes
Martes 27 de abril de 2021
16:00hrs
En línea (Zoom)
Imparte(n)
Responsable(s):
Uno de los resultados centrales del Forcing es el Lema de Rasiowa-Sikorski que permite producir extensiones genéricas de modelos transitivos y numerables de la Teoría de Conjuntos (ZFC). En esta plática veremos sus aplicaciones a otras áreas, generando pruebas originales de caracterizaciones en la Teoría del Orden, Teoría de Gráficas y Topología.
Si da tiempo, mencionaremos la construcción de conjuntos homogéneos en Teoría de Ramsey usando este lema. Más aún, veremos cómo este importante resultado se puede ver como una especie de principio de compacidad/selección.
Compartir este seminario